virtual_map

hidden type virtual_map<K: -immutable, V0, V> : iterable<(K, V)>

Since

0.9.0

Functions

Link copied to clipboard
pure function contains(key: K): boolean

Check if this map contains the given key.

Link copied to clipboard
pure function empty(): boolean

Check if this map is empty.

Link copied to clipboard
pure function get(key: K): V

Get the value associated with the given key in this map.

Link copied to clipboard
pure function <R: +V> get_or_default(key: K, default: R): R

Get the value associated with the given key in this map.

Link copied to clipboard
pure function get_or_null(key: K): V?

Get the value associated with the given key in this map.

Link copied to clipboard
pure function join_to_text([separator: text], [prefix: text], [postfix: text], [limit: integer?], [truncated: text], [transform: ((K, V)) -> text]): text

Generate a textual representation of this iterable.

An optional separator, prefix and postfix can be provided. One can also provide a limit: integer?. If there are more elements in the result than limit, the elements whose indices exceed limit are omitted, and the passed truncated: text is included instead.

Examples:

  • [1, 2, 3].join_to_text() returns '1, 2, 3'.

  • [1, 2, 3].join_to_text('_') returns '1_2_3'.

  • [1, 2, 3].join_to_text('*', '(', ')') returns '(1*2*3)'.

  • list<T>().join_to_text('!', '(', ')') returns '()' (where T is a valid type).

  • range(10).join_to_text('', '', '', 5) returns '01234...'.

  • range(10).join_to_text('', '', '', 5, 'more') returns '01234more'.

Where the function even is defined:

function even(x: integer): text {
return if (x % 2 == 0) 'EVEN' else 'ODD';
}

Then:

  • range(10).join_to_text('->', '{', '}', 5, '...', even(*)) returns {EVEN->ODD->EVEN->ODD->EVEN->...}.

Link copied to clipboard
pure function keys(): set<K>
Link copied to clipboard
(alias) pure function len(): integer

Get the size (number of entries) of this map.

Alias
Link copied to clipboard
pure function size(): integer

Get the size (number of entries) of this map.

Link copied to clipboard
(alias) pure function str(): text

Returns a textual representation of this map.

Alias
Link copied to clipboard
function to_full(): map<K, V0>
Link copied to clipboard
pure function to_text(): text

Returns a textual representation of this map.

Link copied to clipboard
pure function values(): list<V>